Theory Exploration: a role for Model Theory?
نویسنده
چکیده
There is an empirical claim that, when exploring a mathematical theory, after a succession of key results have been obtained, a point of equilibrium is reached where any query of interest can be resolved by routine reasoning from the results already established. Here is suggested some ways of thinking about the situation, in general. There are at least some situations where we can establish that all results (of a certain shape) will follow by routine reasoning from a small number of key properties. An example is described, and the significance for automated theory exploration discussed.
منابع مشابه
Designing a social skills model based on the role of the growth components of the language received by mediating the theory of mind in children ages four to six years old
Introduction: Social skills are a fundamental link to all aspects of the life of children. This research was designed with the aim of designing a social skills model based on the role of the growth components of the language received by mediating the theory of mind in children ages four to six years old. Method: The research method was field research. The population of this study consisted of ...
متن کاملPresenting a Model for Economic Empowerment of Vulnerable Women based on Grounded Theory (Case of Study: Vulnerable Women Supported by Tehran Municipality)
“Economic empowerment” is the ability of vulnerable women to make a decent living for themselves and their family. This ability not only helps them to meet their essential needs continuously, but also decreases the stress level and mental strains caused by deficiencies in the process of satisfying these needs. A range of fundamental and prevalent social issues affecting various societies usuall...
متن کاملProvide a model of media strategies in the human resource development of oil companies using data theory
Economic development in societies depends on resources (capital, government, human resources) research has shown that role of human resources in human development is very important. However, many factors, including media, which have an awareness-raising mission can be effective in human development. Human development using media requires a strategy, but in our country there is a lack of researc...
متن کاملMulti-objective Modeling Based on Competition Airlines Cooperation by Game Theory and Sustainable Development Approach
In each time period, the demand of passengers for each route are finite and airlines compete for earning more profits. The complex competition among airlines causes problems, such as complicating flight planning and increasing empty seats for some routes. These problems increase air pollution and fuel consumption. To solve these problems, this research studies the cooperation of the airlines wi...
متن کاملInheritance of Consumer Behavior: Providing a Model for Improving Banking Services Based on Meme Theory with Emphasis on Ethical Components
Background: Meme is a hereditary theory and an idea, behavior, or method that is transmitted from one person to another through culture. Inheritance theories differ in the degree of adaptation and capability, that is, adaptation to the socio-cultural environment in which they are spread. More adaptable and more capable memes will be more successful in transmitting, spreading to more people, and...
متن کاملA Model for Developing the Best Strategy Combination Based on Balanced Scorecard, Fuzzy Net Present Value and Game Theory
Increasing competition has caused that organizations using evaluation, control and performance improvement try to maintain their supremacy in global markets. Balanced Scorecard model is one of the ways that can help organizations achieve this goal. In this study, the limitations of selecting performance criteria and executive strategies in balanced scorecard are discussed and two tools of curre...
متن کامل